Software Engineering - PDFSEARCH.IO - Document Search Engine

Software Engineering
Results: 57508

#	Item
641	Agenda for the 2nd meeting of TC39, Mountain View, March 2008 Add to Reading List Source URL: www.ecma-international.org Language: English - Date: 2014-10-28 00:11:15 Software engineering Computing Computer programming Scripting languages ECMAScript Markup languages Open formats Technical communication Namespace Web Ontology Language Late binding HTML
642	Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English - Date: 2011-06-11 06:47:51 Logic Abstraction Propositional calculus Syntax Mathematics Logic in computer science Formal methods Feature model Semantics Product family engineering Software Product Lines Online Tools Boolean algebra
643	Package ‘MSnbase’ June 29, 2016 Title Base Functions and Classes for MS-based Proteomics VersionDescription Basic plotting, data manipulation and processing of MS-based Proteomics data. Add to Reading List Source URL: bioconductor.org Language: English - Date: 2016-06-29 15:15:31 Software engineering Computer programming Object-oriented programming Computing Method This Common Lisp Object System Objective-C Constructor Class Union type C++ classes
644	Scientific school at Porticcio Scientific committee Workshops, presentations and hands-on training on Modelica, FMI-based co-simulation, and BIM to Modelica translations Organized by IBPSA France and IEA EBC Annex 60 Add to Reading List Source URL: www.ibpsa.fr Language: English - Date: 2016-07-01 05:18:41 Real estate Software Object-oriented programming Architecture Building engineering Simulation software Modelica Energy conservation Functional Mock-up Interface International Building Performance Simulation Association Building information modeling
645	Second Workshop on the Globalization of Modeling Languages (GEMOCWorkshop Report Benoit Combemale1 , Julien De Antoni2 , Robert B. France3 , and David Méndez-Acuña1 1 Add to Reading List Source URL: gemoc.org Language: English - Date: 2014-11-03 02:06:33 Software engineering Modeling language Scientific modeling Domain-specific language Computing Entityrelationship model Conceptual model Abstraction Enterprise architecture Enterprise modelling Data modeling
646	Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2016-03-08 11:18:53 Distributed computing Safety Liveness Computing Formal methods Software engineering Concurrency Logic in computer science
647	FORMPAK PRODUCTS There are three editions of Formpak software to suit all budgets and sizes of business. INTRODUCING FORMPAK Formpak software has supported formulation and ingredient industries Add to Reading List Source URL: www.formpak-software.com Language: English - Date: 2016-05-05 11:07:47 Documents Chemical safety Safety Occupational safety and health Business Materials Safety data sheet Safety engineering Datasheet Project management Globally Harmonized System of Classification and Labelling of Chemicals Document management system
648	Metamodel-independent modularisation of models with MetaMod∗ Ana Maria Sutîi ¸ Tom Verhoeff Add to Reading List Source URL: womencourage.acm.org Language: English - Date: 2016-08-09 09:14:04 Software engineering Programming paradigms Computing Systems engineering Unified Modeling Language Systems science Domain-specific language Abstraction Metamodeling Aspect-oriented software development Modularity Declarative programming
649	Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 20:03:37 Software engineering Computer programming Computing Functional languages Object-oriented programming languages Lisp Cross-platform software String Racket Scheme Anonymous function Here document
650	Department: Position: Location: Engineering Software Engineer – Front-End Add to Reading List Source URL: www.asavie.com Language: English - Date: 2016-07-21 07:37:34 Computing Software Ajax Web development Product development AngularJS ASP.NET Sass Web application Software as a service Product management Software development

UPDATE